functor F(
P:sig
   structure A : sig type foo end
   structure B : sig type bar end
 end
) = struct end
